Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 5 Jun 2020 15:29:41 +0000 (15:29 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 5 Jun 2020 15:29:41 +0000 (15:29 +0000)
Add missing annotation

See merge request GNOME/gtk!2046


Trivial merge